Новейший философский словарь - лукасевич
Связанные словари
Лукасевич
лукасевич
(Lukasiewicz) Ян (1878-1956) польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 Дублинского униврситета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики трехзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами "вероятно", "нейтрально". О каждом высказывании в системе Л. можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых, независимо от русского логика Н.А. Васильева, выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трехзначной логики Л. построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят "Элементы математической логики", в 1930 совместный с Тарским труд "Исследование по исчислению высказываний", в 1938 "Логика и ее основные проблемы". В 1954 Л. разработал четырехзначную систему логики, а затем беско-нечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л. являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Фор-мализированная система дает представление силлогистики в виде логического исчисления естественного вывода. В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы большими буквами того же алфавита (N-отрицание, К-конъюнкция, А неисключающая дизъюнкция, С импликация, R эквивалентность). С.В. Воробьева
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(Lukasiewicz) Ян (род. 21 дек. 1878, Лемберг - ум. 23 февр. 1956, там же) - польск. логик; с 1911 - профессор, сначала в Лемберге, а с 1920 - в Варшаве, с 1949 - в Дублине. Основатель многозначной логики (см. Формализм). Осн. работы: "Z zagadnien logiki i filozofii. Pisma wybrane", 1961; "Selected works", 1970; "Aristotiles syllogistic from the standpoint of modern formal logic", 1951 (рус. пер. "Аристотелевская силлогистика с точки зрения современной формальной логики", 1959). ...Философский словарь
2.
(Lukasiewicz) Ян (1878-1956) польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 Дублинского университета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики трехзначную логику высказываний (1920). Методология Л. основополагалась на критическом переосмыслении концепции детерминизма в лапласовском представлении. Принцип детерминизма в толковании Лапласа сводился к тому, что все сущее в мире детерминировано, каждое будущее состояние мира с необходимостью предопределено его прошлым или настоящим. Л. пересмотрел принцип причинности в индетерминистском модусе, при котором будущие события свободны от необходимой предопределяющей связи с прошлыми или настоящими состояниями мира. Будущие события могут иметь свои причины, отсутствующие в настоящее время. В качестве третьего логического значения высказывания о будущем событии Л. ввел значение, выражаемое словами "вероятно", "нейтрально". О каждом высказывании в его системе можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых,...Словарь постмодернизма
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1380 | |
2 | 1230 | |
3 | 629 | |
4 | 616 | |
5 | 586 | |
6 | 518 | |
7 | 484 | |
8 | 481 | |
9 | 477 | |
10 | 440 | |
11 | 412 | |
12 | 399 | |
13 | 397 | |
14 | 368 | |
15 | 367 | |
16 | 350 | |
17 | 350 | |
18 | 347 | |
19 | 325 | |
20 | 316 |